Extremely Accurate Sequential Verification of RELAP5-3D
نویسندگان
چکیده
منابع مشابه
Relap5-3d Code Validation for Rbmk Phenomena
.......................................................................................................................................................iii Summary ....................................................................................................................................................... v
متن کاملRELAP5-3D Model for the KURSK 1 NPP
A RELAP5-3D model has been developed for the RBMK Kursk 1 NPP. The primary features of this model are the three-dimensional neutronics model of the reactor core and the user subroutine that generates the neutron cross-sections. This subroutine contains the same neutron cross-section libraries that are presently being used in the Russian STEPAN/KOBRA calculations. The implementation of the neutr...
متن کاملScalable Sequential Verification
In general, sequential verification is PSPACE complete, but for application to present-day industrial designs, it needs to be made scalable, which means essentially linear in circuit size. This paper focuses on the problem where the circuit in question has been transformed using a form of scalable sequential synthesis. During this synthesis, a history And-Inverter-Graph (HAIG) is constructed, w...
متن کاملExaggeration of Extremely Detailed 3D Faces
Exaggeration is often used in art and entertainment to capture the interest and attention of an audience. We present an approach to automatically exaggerate the distinctive features of 3D faces which contain skin detail down to the pores. Mesh adaptation and model simplification are used to produce two low resolution approximations of the face. The detail of the original high resolution face is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nuclear Science and Engineering
سال: 2016
ISSN: 0029-5639,1943-748X
DOI: 10.13182/nse14-151